int do_ps(char* notUsed)
{
	PROC* pr = runningProc;
	printf("\nPID  UID  PPID  Status\n");
	printf("----------------------\n");
	while (pr != 0)
	{
		printf("%-3d  %-3d  %-3d   ", pr->pid, pr->uid, pr->ppid);
		switch(pr->status)
		{
			case PROC_BUSY: { printf("BUSY\n"); } break;
			case PROC_READY: { printf("READY\n"); } break;
			default: { putchar('\n'); }
		}
		pr = pr->next;
	}
	putchar('\n');
	return 1;
}
